Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 7.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 008765 | Peter D. Mosses [Danemark] | Pragmatics of Modular SOS |
| 008923 | Egidio Astesiano [Italie] ; Michel Bidoit [France] ; Hélène Kirchner [France] ; Bernd Krieg-Brückner [Allemagne] ; Peter D. Mosses [Danemark] ; Donald Sannella [Royaume-Uni] ; Andrzej Tarlecki [Pologne] | CASL: the Common Algebraic Specification Language |
| 00B397 | Hélène Kirchner [France] ; Peter D. Mosses [États-Unis, Danemark] | Algebraic Specifications, Higher-Order Types and Set-Theoretic Models |
| 00C033 | Claus Hintermeier [France] ; Hélène Kirchner [France] ; Peter D. Mosses [Danemark] | R n - and G n -logics |
| 00C081 | Claus Hintermeier [France] ; Hélène Kirchner [France] ; Peter D. Mosses [Danemark] | Combining algebraic and set-theoretic specifications |
| 00C614 | Valentin M. Antimirov [France] ; Peter D. Mosses [Danemark] | Rewriting extended regular expressions |
| 00D164 | Peter D. Mosses [Danemark] | The use of sorts in algebraic specifications |
| This area was generated with Dilib version V0.6.33. |  |